Methods and software tools for combined binary code analysis
نویسندگان
چکیده
منابع مشابه
Software Tools for the Analysis of Functional Magnetic Resonance Imaging
Functional magnetic resonance imaging (fMRI) has become the most popular method for imaging of brain functions. Currently, there is a large variety of software packages for the analysis of fMRI data, each providing many features for users. Since there is no single package that can provide all the necessary analyses for the fMRI data, it is helpful to know the features of each software package. ...
متن کاملA Survey on Tools for Binary Code Analysis
Different strategies for binary analysis are widely used in systems dealing with software maintenance and system security. Binary code is self-contained; though it is easy to execute, it is not easy to read and understand. Binary analysis tools are useful in software maintenance because the binary of software has all the information necessary to recover the source code. It is also incredibly im...
متن کاملMethods and Tools for Formal Software Engineering
We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development of tools that support object-oriented and component-based design. The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integrat...
متن کاملsoftware tools for the analysis of functional magnetic resonance imaging
functional magnetic resonance imaging (fmri) has become the most popular method for imaging of brain functions. currently, there is a large variety of software packages for the analysis of fmri data, each providing many features for users. since there is no single package that can provide all the necessary analyses for the fmri data, it is helpful to know the features of each software package. ...
متن کاملSoftware Certification : Methods and Tools
With the pervasive deployment of software in dependable systems used in everyday life, society is increasingly demanding that software used in critical systems must meet minimum safety, security and reliability standards. Certification is the procedure by which an authorized person or agency assesses and verifies characteristics of a system or product in accordance with established requirements...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of RAS
سال: 2014
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2014-26(1)-8